- 双语例句 更多例句
1、
Linear strategy, semantic strategy and lock strategy for remainder method
余式方法中的线性策略以及语义策略和锁策略
互联网摘选
2、
本文给出如下结果：语义归结和锁归结在某种条件下是相容的；
互联网摘选
3、
语义归结、锁归结、线性归结是三种重要的关于归结原理的改进。
互联网摘选
- 相关词组
- lock up将…锁住[关押];关禁闭;钤;关;
- lock a file封锁文件;
- grid lock网格锁定
- combination lockn.号码锁;
- basin lock池形船闸;
- switch lock开关锁，道岔锁闭器;
- ball lock球形闸门;
- lock away把…锁起来;
- dead lock[体]难解难分;
- lock in将…锁[包围]在里面;使固定;
- lock block闩块;
- double leg lock[体]抱单腿拦腿摔;
- lock horns卷入矛盾冲突;争论不休;
- lock out把…关在外边，不准（某人）进入…;赶出家门;
- under lock and key将…加以严密保管， 把…锁住， 被囚禁;妥善存放;
- lock into受困于;
- air lockn.阻隔室，气塞;锁气室;
- lock oneself inv.闭门谢客;
- lock onv.用雷达自动跟踪;
- point lock点锁
- 今日热词
- 热门搜索
- cancel v.取消，终止;废除，注销;
- blister n.水泡;(金属、油漆过的木头或其他表面上的)气泡;(皮肤上摩擦或烫起等的)水疱vt.& vi.（使）起水泡;
- secretary n.秘书;书记员;助理;俱乐部、社团等的)干事，文书;部长;大臣
- hive n.蜂箱;蜂巢;蜂群;喧闹地区;
- you are the apple of my eye 【电影】那些年，我们一起追的女孩;你是我的掌上明珠;你是我，最珍贵的人；
- SMC abbr.Scientific Manpower Commission <美>科学人力委员会;网络滑模控制;短信中心;软磁复合材料;安全管理中心;无杆气缸
- crime n.罪行，犯罪活动;严重错误，罪过;
- everyday adj.日常的，平常的;普通的;每天的;经常;
- resemble v.像;类似;
- martial law n.戒严法，戒严令;
- faith n.信任;宗教信仰;宗教;
- lantern n.灯笼;灯塔;灯罩;灯饰;
